home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / misc / arbulus.T next >
Encoding:
Text File  |  1994-08-02  |  10.7 KB  |  168 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.985915, -0.208451, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, "1");
  3. v2 = .free(0.988732, -0.211268, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, "2");
  4. v3 = .v.vvmid(v1, v2, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  5. v4 = .v.vvmid(v2, v3, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  6. v5 = .v.vvmid(v3, v1, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  7. v6 = .v.vvmid(v1, v5, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  8. v7 = .v.vvmid(v5, v3, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  9. v8 = .v.vvmid(v3, v4, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  10. v9 = .v.vvmid(v4, v2, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  11. v10 = .v.vvmid(v2, v9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  12. v11 = .v.vvmid(v9, v4, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  13. v12 = .v.vvmid(v4, v8, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  14. v13 = .v.vvmid(v8, v3, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  15. v14 = .v.vvmid(v3, v7, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  16. v15 = .v.vvmid(v7, v5, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  17. v16 = .v.vvmid(v5, v6, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  18. v17 = .v.vvmid(v6, v1, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  19. c1 = .c.vv(v1, v17, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  20. c2 = .c.vv(v6, v16, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  21. c3 = .c.vv(v5, v15, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  22. c4 = .c.vv(v7, v14, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  23. c5 = .c.vv(v3, v13, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  24. c6 = .c.vv(v8, v12, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  25. c7 = .c.vv(v4, v11, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  26. c8 = .c.vv(v9, v10, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  27. c9 = .c.vv(v2, v10, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  28. l1 = .l.ccext(c6, c7, 2, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  29. l2 = .l.ccext(c6, c7, 1, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  30. l3 = .l.vlperp(v3, l2, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  31. v18 = .vonl(l3, 0.00240749, 0.49032, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .cross);
  32. v19 = .v.ll(l2, l3, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  33. c10 = .c.vv(v18, v19, .invisible, .L0, .L1, .L2, .L3, .L4, .L5);
  34. cc1 = .c.ccinv(c1, c10, .yellow);
  35. cc2 = .c.ccinv(c2, c10, .yellow);
  36. cc3 = .c.ccinv(c3, c10, .yellow);
  37. cc4 = .c.ccinv(c4, c10, .yellow);
  38. cc5 = .c.ccinv(c5, c10, .yellow);
  39. cc6 = .c.ccinv(c6, c10, .yellow);
  40. cc7 = .c.ccinv(c7, c10, .yellow);
  41. cc8 = .c.ccinv(c8, c10, .yellow);
  42. cc9 = .c.ccinv(c9, c10, .yellow);
  43. ccl1 = .c.lcinv(l1, c10, .yellow);
  44. ccl2 = .c.lcinv(l2, c10, .yellow);
  45. vv1 = .v.ccenter(cc1, .invisible);
  46. vv2 = .v.ccenter(cc2, .invisible);
  47. vv3 = .v.ccenter(cc3, .invisible);
  48. vv4 = .v.ccenter(cc4, .invisible);
  49. vv5 = .v.ccenter(cc5, .invisible);
  50. vv6 = .v.ccenter(cc6, .invisible);
  51. vv7 = .v.ccenter(cc7, .invisible);
  52. vv8 = .v.ccenter(cc8, .invisible);
  53. vv9 = .v.ccenter(cc9, .invisible);
  54. v20 = .v.vvmid(vv4, vv6, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  55. v21 = .v.vvmid(v20, vv6, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  56. c11 = .c.vv(v20, v21, .red, .L1);
  57. v23 = .free(0.557746, 0.71831, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, "3");
  58. v24 = .v.vvmid(vv3, v23, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  59. v25 = .v.vvmid(v24, v23, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  60. v26 = .v.vvmid(v24, vv3, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  61. v27 = .v.vvmid(vv3, v26, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  62. v28 = .v.vvmid(v26, v24, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  63. v29 = .v.vvmid(v24, v25, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  64. v30 = .v.vvmid(v25, v23, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  65. l5 = .l.vv(v24, vv7, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  66. l6 = .l.vlpar(v28, l5, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  67. l7 = .l.vlpar(v26, l6, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  68. l8 = .l.vlpar(v27, l7, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  69. l9 = .l.vv(vv3, vv7, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  70. v31 = .v.vvmid(v28, v24, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  71. v32 = .v.vvmid(v28, v26, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  72. v33 = .v.vvmid(v26, v27, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  73. l10 = .l.vlpar(v33, l7, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  74. l11 = .l.vlpar(v32, l6, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  75. l12 = .l.vlpar(v31, l5, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  76. v34 = .v.ll(l6, l9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  77. v35 = .v.ll(l9, l12, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  78. v36 = .v.ll(l7, l9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  79. v37 = .v.ll(l9, l11, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  80. v38 = .v.ll(l8, l9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  81. v39 = .v.ll(l9, l10, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  82. c12 = .c.vv(v38, v39, .green, .L2);
  83. c13 = .c.vv(v36, v39, .green, .L2);
  84. c14 = .c.vv(v34, v37, .green, .L2);
  85. v40 = .v.vvmid(vv2, vv9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  86. v41 = .v.vvmid(vv9, v40, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  87. v42 = .v.vvmid(v40, vv2, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  88. v43 = .v.vvmid(vv2, v42, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  89. v44 = .v.vvmid(v42, v40, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  90. v45 = .v.vvmid(v40, v41, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  91. v46 = .v.vvmid(v41, vv9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  92. v47 = .v.vvmid(vv2, v43, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  93. v48 = .v.vvmid(v43, v42, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  94. v49 = .v.vvmid(v42, v44, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  95. v50 = .v.vvmid(v44, v40, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  96. v51 = .v.vvmid(v40, v45, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  97. v52 = .v.vvmid(v45, v41, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  98. v53 = .v.vvmid(v41, v46, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  99. v54 = .v.vvmid(v46, vv9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  100. l13 = .l.vv(vv2, vv8, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  101. l14 = .l.vv(v41, vv8, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  102. l15 = .l.vlpar(v52, l14, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  103. l16 = .l.vlpar(v45, l15, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  104. l17 = .l.vlpar(v51, l16, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  105. l18 = .l.vlpar(v40, l17, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  106. l19 = .l.vlpar(v50, l18, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  107. l20 = .l.vlpar(v44, l19, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  108. l21 = .l.vlpar(v49, l19, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  109. l22 = .l.vlpar(v42, l21, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  110. l23 = .l.vlpar(v48, l21, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  111. l24 = .l.vlpar(v43, l23, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  112. l25 = .l.vlpar(v47, l24, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  113. v55 = .v.ll(l13, l15, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  114. v56 = .v.ll(l13, l16, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  115. v57 = .v.ll(l17, l13, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  116. v58 = .v.ll(l13, l18, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  117. v59 = .v.ll(l13, l19, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  118. v60 = .v.ll(l13, l20, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  119. v61 = .v.ll(l13, l21, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  120. v62 = .v.ll(l13, l22, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  121. v63 = .v.ll(l13, l23, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  122. v64 = .v.ll(l13, l24, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  123. v65 = .v.ll(l13, l25, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  124. c15 = .c.vv(v64, v65, .magenta, .L3);
  125. c16 = .c.vv(v62, v63, .magenta, .L3);
  126. c17 = .c.vv(v60, v61, .magenta, .L3);
  127. c18 = .c.vv(v58, v59, .magenta, .L3);
  128. c19 = .c.vv(v56, v57, .magenta, .L3);
  129. l26 = .l.vv(vv1, vv9, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  130. l27 = .l.vv(vv2, vv1, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  131. l28 = .l.vlpar(v47, l27, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  132. l29 = .l.vlpar(v43, l28, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  133. l30 = .l.vlpar(v48, l29, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  134. l31 = .l.vlpar(v42, l30, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  135. l32 = .l.vlpar(v49, l31, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  136. l33 = .l.vlpar(v44, l32, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  137. l34 = .l.vlpar(v50, l33, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  138. l35 = .l.vlpar(v40, l34, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  139. l36 = .l.vlpar(v51, l35, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  140. l37 = .l.vlpar(v45, l36, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  141. l38 = .l.vlpar(v52, l37, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  142. l39 = .l.vlpar(v41, l38, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  143. l40 = .l.vlpar(v53, l39, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  144. l41 = .l.vlpar(v46, l40, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  145. l42 = .l.vlpar(v54, l41, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .longline);
  146. v66 = .v.ll(l26, l42, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  147. v67 = .v.ll(l26, l41, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  148. v68 = .v.ll(l26, l40, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  149. v69 = .v.ll(l26, l39, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  150. v70 = .v.ll(l26, l38, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  151. v71 = .v.ll(l26, l37, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  152. v72 = .v.ll(l26, l36, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  153. v73 = .v.ll(l26, l35, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  154. v74 = .v.ll(l26, l34, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  155. v75 = .v.ll(l26, l33, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  156. v76 = .v.ll(l26, l32, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  157. v77 = .v.ll(l26, l31, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  158. v78 = .v.ll(l26, l30, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  159. v79 = .v.ll(l26, l29, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  160. v80 = .v.ll(l26, l28, .invisible, .L0, .L1, .L2, .L3, .L4, .L5, .plus);
  161. c20 = .c.vv(v79, v80, .cyan, .L4);
  162. c21 = .c.vv(v77, v78, .cyan, .L4);
  163. c22 = .c.vv(v75, v76, .cyan, .L4);
  164. c23 = .c.vv(v73, v74, .cyan, .L4);
  165. c24 = .c.vv(v71, v72, .cyan, .L4);
  166. c25 = .c.vv(v69, v70, .cyan, .L4);
  167. c27 = .c.vv(v67, v68, .cyan, .L4);
  168.